conjunctive normal form satisfiability - Francés Inglés Diccionario